배설계 정리